0.24以下关于反向演绎的说法错误的是（     ）A 演绎是从一般到特殊；而反向推理以某个假设目标作为出发点，来展开推理。B 反向演绎从待证目标出发，又称归结原理。 C 但在规则量很大时，反向演绎仍然需要逐一计算规则的匹配，比较缓慢低效。D 计算机实现自动推理最可行的方法是采用反向演绎的方法。